The geometry of graphs and some of its algorithmic applications - Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on
نویسندگان
چکیده
In this paper we explore some implications of viewing graphs as geometric objects. This approach offers a new perspective on a number of graph-theoretic and algorithmic problems. There are several ways to model graphs geometrically and our main concern here is with geometric representations that respect the metric of the (possibly weighted) graph. Given a graph G we map its vertices to a normed space in an attempt to (i) Keep down the dimension of the host space and (ii) Guarantee a small distortion, i.e., make sure that distances between vertices in G closely match the distances between their geometric images. In this paper we develop efficient algorithms for embedding graphs low-dimensionally with a small distortion. Further algorithmic applications include: 0 A simple, unified approach to a number of problems on multicommodity flows, including the Leighton-Rae Theorem [29] and some of its extensions. 0 For graphs embeddable in low-dimensional spaces with a small distortion, we can find low-diameter decompositions (in the sense of [4] and [34]). The parameters of the decomposition depend only on the dimension and the distortion and not on the size of the graph. arators can be found efficiently. 0 In graphs embedded this way, small balanced sepFaithful low-dimensional representations of statistical data allow for meaningful and efficient clustering, which is one of the most basic tasks in patternrecognition. For the (mostly heuristic) methods used *Supported in part by grants from the Israeli Academy of Sciences, the Binational Science Foundation Israel-USA and the Niedersachsen-Isriel Research Program. in the practice of pattern-recognition, see Duda and Hart [15], especially chapter 6.
منابع مشابه
Finding separator cuts in planar graphs within twice the optimal - Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on
Building on the works of Reo [9, 101 and Park and Phillips [8], we present a factor 2 approximation algorithm for the problem of finding a minimum cost bbalanced cut in planar graphs, for b 5 5 , if the vertex weights are given in unary (using scaling, a psuedo-approximation algorithm is also presented for the case of binary vertex weights). This problem is of considerable practical significanc...
متن کاملFinding separator cuts in planar graphs within twice the optimal
A factor 2 approximation algorithm for the problem of finding a minimum-cost bbalanced cut in planar graphs is presented, for b ≤ 1 3 . We assume that the vertex weights are given in unary; for the case of binary vertex weights, a pseudoapproximation algorithm is presented. This problem is of considerable practical significance, especially in VLSI design. The natural algorithm for this problem ...
متن کاملStrengths and Weaknesses of Quantum Computing
Recently a great deal of attention has been focused on quantum computation following a sequence of results [Bernstein and Vazirani, in Proc. 25th Annual ACM Symposium Theory Comput., 1993, pp. 11–20, SIAM J. Comput., 26 (1997), pp. 1411–1473], [Simon, in Proc. 35th Annual IEEE Symposium Foundations Comput. Sci., 1994, pp. 116–123, SIAM J. Comput., 26 (1997), pp. 1474–1483], [Shor, in Proc. 35th...
متن کاملOn the robustness of functional equations - Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on
Given a functional equation, such as V z , y f(z) + f ( y ) = f(z + y), we study the following general question: When can the “for all” quantifiers be replaced by “for most” quantifiers without essentially changing the functions that are characterized by the property? When “for most” quantifiers are sufficient, we say that the functional equation is robust. We show conditions on functional equa...
متن کاملFast, Distributed Approximation Algorithms for Positive Linear Programming with Applications to Flow Control
We study combinatorial optimization problems in which a set of distributed agents must achieve a global objective using only local information. Papadimitriou and Yannakakis [Proceedings of the 25th ACM Symposium on Theory of Computing, 1993, pp. 121–129] initiated the study of such problems in a framework where distributed decision-makers must generate feasible solutions to positive linear prog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995